Parity of a permutation - PDFSEARCH.IO - Document Search Engine

Parity of a permutation
Results: 103

#	Item
41	On the Impossibility of Instantiating PSS in the Standard Model Rishiraj Bhattacharyya1 and Avradip Mandal2 1 Cryptology Research Group, Applied Statistics Unit, Indian Statistical Institute, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-12-21 12:09:46 Optimal asymmetric encryption padding Claw-free permutation Combinatorics One-way function Advantage Random oracle Parity of a permutation Trapdoor function Full Domain Hash Cryptography Permutations Cryptographic hash functions
42	ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER FINAL DRAFT - UNDER REVIEW DR. GAVIN WOOD CO-FOUNDER & LEAD, ETHEREUM PROJECT Add to Reading List Source URL: gavwood.com Language: English - Date: 2015-04-09 07:05:08 Character encoding String Parity of a permutation Keccak Cryptographic hash function Bitcoin Structure Hash function Digital signature Cryptography Mathematics NIST hash function competition
43	Supplementary information Eﬃcient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Masaki Suzuki, Hiroshi Nagamochi Graduate School of Informatics, Kyoto University Add to Reading List Source URL: www.jcheminf.com Language: English Parity of a permutation Permutations Group theory Mathematics Parity
44	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
45	Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:13:58 Structure Universal algebra Formal language Parity of a permutation Mathematics Group theory Model theory
46	Evidence-based Audit, Technical Appendix Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Curry–Howard correspondence Symbol Model theory Mathematics Proof theory Group theory
47	Deterring Voluntary Trace Disclosure in Re-encryption Mix Networks Philippe Golle PARC [removed] Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2006-05-24 20:30:54 Combinatorics Abstract algebra Permutation Verifiable secret sharing Advantage Mix network Parity of a permutation Mathematics Permutations Cryptography
48	An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 19:12:15 Action description language Interpretation Entailment Model theory Parity of a permutation Logic Metalogic Symbol
49	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
50	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages